Modeling and verifying ad hoc routing protocols
نویسندگان
چکیده
منابع مشابه
Modeling and Verifying Ad Hoc Routing Protocols1
Mobile ad hoc networks consist of mobile wireless devices which autonomouslyorganize their infrastructure. In such networks, a central issue, addressed byrouting protocols, is to find a route from one device to another. These pro-tocols use cryptographic mechanisms in order to prevent malicious nodes fromcompromising the discovered route.Our contribution is twofold. We first...
متن کاملModeling of VANET Technology & Ad-Hoc Routing Protocols Based on High Performance Random Waypoint Models
Today, one of the new technologies in the modern era is Vehicular Ad-hoc Network which has takenenormous attention in the recent years. Because of rapid topology changing and frequent disconnectionmakes it difficult to design an efficient routing protocol for routing data between vehicles, called V2V orvehicle to vehicle communication and vehicle to roadside infrastructure, called V2I. Designin...
متن کاملGraph Grammar Modeling and Verification of Ad Hoc Routing Protocols
We present a technique for modeling and automatic verification of network protocols, based on graph transformation. It is suitable for protocols with a potentially unbounded number of nodes, in which the structure and topology of the network is a central aspect, such as routing protocols for ad hoc networks. Safety properties are specified as a set of undesirable global configurations. We verif...
متن کاملmodeling of vanet technology & ad-hoc routing protocols based on high performance random waypoint models
today, one of the new technologies in the modern era is vehicular ad-hoc network which has takenenormous attention in the recent years. because of rapid topology changing and frequent disconnectionmakes it difficult to design an efficient routing protocol for routing data between vehicles, called v2v orvehicle to vehicle communication and vehicle to roadside infrastructure, called v2i. designin...
متن کاملOn Performance Modeling of Ad Hoc Routing Protocols
1Department of Electrical and Computer Engineering, Center for Advanced Studies in Engineering, Islamabad 44000, Pakistan 2 School of Electrical Engineering & Computer Science (SEECS), National University of Sciences & Technology (NUST), Islamabad 44000, Pakistan 3Next Generation Intelligent Networks Research Center (nexGIN RC), National University of Computer and Emerging Sciences (FAST-NUCES)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2014
ISSN: 0890-5401
DOI: 10.1016/j.ic.2014.07.004